(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Error*" "An internal error has occurred. Please report this as a bug. Location of the error: __IMPOSSIBLE__, called at src/full/Agda/ImpossibleTest.hs:«line»:«col» «Agda-package»:Agda.ImpossibleTest impossibleTest, called at src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs:«line»:«col» «Agda-package»:Agda.Syntax.Translation.ConcreteToAbstract " nil)
(agda2-highlight-add-annotations 'nil)
(agda2-status-action "")
